Семёнов А. А. , Антонов К. В. «Применение SAT-оракулов для генерации дополнительных линейных ограничений в задачах криптоанализа некоторых легковесных шифров» // Прикладная дискретная математика. Приложение 2020. №13 C.114-119
Софронова Д. А. , Калгин К. В. «Компактный транслятор алгоритмов в булевы формулы для применения в криптоанализе» // Прикладная дискретная математика. Приложение 2020. №13 C.135-136
Вы можете добавить статью